Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
411	Social Laws for Multi-Agent Systems: Logic and Games.5cm Lecture 1: Specifying and verifying state-transition models Add to Reading List Source URL: www.nii.ac.jp Language: English* - Date: 2012-02-02 20:36:54 Mathematics Philosophical logic Kripke semantics Model theory Sheaf theory Model checking Temporal logic Agent-based model Economic model Logic Mathematical logic Modal logic
412	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
413	On the Semantics of Linking and Importing in Modular Ontologies Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-20 15:55:35 Information Knowledge representation Knowledge engineering Non-classical logic Ontology Description logic Modal logic Frame language Mereology Science Logic Information science
414	Contingency FAQ Sheet: Please read this FAQ sheet before beginning your race season if you are going for any contingency at all. This form is a guide that will help to ensure CCS and ASRA riders are 100% compliant so tha Add to Reading List Source URL: www.ccsracing.us Language: English - Date: 2014-12-21 07:42:37 Contingency Modal logic Propositions
415	Compliance Robustness Power Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:55 Evolutionary biology Evolutionary developmental biology Robustness Regulatory compliance Compliance Modal logic If and only if Mathematics Info-gap decision theory Biology Genetics Logic
416	Coalition Logic Quantified Coalition Logic Norm Compliance CTL Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:55 Modal logic Philosophical logic Artificial intelligence Predicate logic Epistemic modal logic Temporal logic Quantification Logic Mathematical logic Science
417	What is Special about Children’s Deontic Reasoning? Monica Bucciarelli () Center for Cognitive Science and Department of Psychology, via Po 14, 10123 Torino ITALY Abstract The Mental Model Theory Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:53 Thought Modal logic Reasoning Cognitive psychology Epistemology Mental model Reason Modal operator Psychology Science Logic Ethology
418	Asserting Memory Shape using Linear Logic Frances Spalding Limin Jia Department of Computer Science, Princeton University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 C++ C programming language Philosophical logic Data types Logic programming Logic C++ classes Modal logic Pointer Software engineering Computer programming Computing
419	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , and Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Datalog Predicate Logic programming Function Modal logic Logic Mathematics Programming paradigms
420	Ethical Consistency and the Logic of Ought Mathieu Beirlaen Ghent University In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for the presence of s Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 04:27:57 Meta-ethics Modal logic Deontic logic Social philosophy Formal ethics Is–ought problem Norm Moral realism Ought implies can Philosophy Logic Ethics

UPDATE